Reversible simulation of irreversible computation
نویسندگان
چکیده
منابع مشابه
Reversible Simulation of Irreversible Computation
Computer computations are generally irreversible while the laws of physics are reversible. This mismatch is penalized by among other things generating excess thermic entropy in the computation. Computing performance has improved to the extent that eeciency degrades unless all algorithms are executed reversibly, for example by a universal reversible simulation of irreversible computations. All k...
متن کاملAnalysis of Reversible Simulation of Irreversible Computation by Pebble Games
Reversible simulation of irreversible algorithms is analyzed in the stylized form of a ‘reversible’ pebble game. The reacheable reversible simulation instantaneous descriptions (pebble configurations) are characterized completely. As a corollary we obtain the reversible simulation by Bennett and that among all simulations that can be modelled by the pebble game, Bennett’s simulation is optimal ...
متن کاملReversible Simulation of Irreversible Computation by Pebble Games
Reversible simulation of irreversible algorithms is analyzed in the stylized form of a ‘reversible’ pebble game. The reacheable reversible simulation instantaneous descriptions (pebble configurations) are characterized completely. As a corollary we obtain the reversible simulation by Bennett and that among all simulations that can be modelled by the pebble game, Bennett’s simulation is optimal ...
متن کاملReversible Simulation of One-Dimensional Irreversible Cellular Automata
A cellular automaton (CA) is called reversible (or injective) ii its global function is one-to-one. It has been shown by Toooli that any (irreversible) k-dimensional CA is simulated by a k + 1-dimensional RCA. In this paper, we show that any one-dimensional CA with nite conngurations can be simulated by a one-dimensional reversible CA. This is proved by using the framework of partitioned CA (PCA).
متن کاملReversible, Irreversible and Optimal -machines
There are two quite diierent possibilities for implementing linear head reduction in-calculus. Two ways which we are going to explain brieey here in the introduction and in details in the body of the paper. The paper itself is concerned with showing an unexpectedly simple relation between these two ways, which we term reversible and irreversible, namely that the latter may be obtained as a natu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physica D: Nonlinear Phenomena
سال: 1998
ISSN: 0167-2789
DOI: 10.1016/s0167-2789(98)00052-9